node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
node(141).
node(142).
node(143).
node(144).
node(145).
link(1,8) :- #0.99.
link(8,1) :- #0.46.
link(1,15) :- #0.783.
link(15,1) :- #0.679.
link(1,27) :- #0.51.
link(27,1) :- #0.9.
link(1,39) :- #0.388.
link(39,1) :- #0.82.
link(1,52) :- #0.262.
link(52,1) :- #0.417.
link(1,64) :- #0.701.
link(64,1) :- #0.448.
link(1,81) :- #0.554.
link(81,1) :- #0.855.
link(1,86) :- #0.02.
link(86,1) :- #0.601.
link(1,89) :- #0.454.
link(89,1) :- #0.07.
link(1,118) :- #0.883.
link(118,1) :- #0.573.
link(1,119) :- #0.491.
link(119,1) :- #0.569.
link(1,127) :- #0.064.
link(127,1) :- #0.664.
link(1,134) :- #0.473.
link(134,1) :- #0.072.
link(2,20) :- #0.811.
link(20,2) :- #0.745.
link(2,21) :- #0.066.
link(21,2) :- #0.33.
link(2,40) :- #0.455.
link(40,2) :- #0.612.
link(2,89) :- #0.905.
link(89,2) :- #0.354.
link(2,90) :- #0.025.
link(90,2) :- #0.43.
link(2,100) :- #0.257.
link(100,2) :- #0.488.
link(2,102) :- #0.77.
link(102,2) :- #0.22.
link(2,107) :- #0.241.
link(107,2) :- #0.164.
link(2,111) :- #0.943.
link(111,2) :- #0.313.
link(2,116) :- #0.332.
link(116,2) :- #0.334.
link(2,128) :- #0.012.
link(128,2) :- #0.456.
link(2,132) :- #0.459.
link(132,2) :- #0.468.
link(3,10) :- #0.645.
link(10,3) :- #0.15.
link(3,19) :- #0.314.
link(19,3) :- #0.028.
link(3,29) :- #0.769.
link(29,3) :- #0.482.
link(3,34) :- #0.04.
link(34,3) :- #0.661.
link(3,35) :- #0.397.
link(35,3) :- #0.995.
link(3,44) :- #0.086.
link(44,3) :- #0.299.
link(3,45) :- #0.184.
link(45,3) :- #0.685.
link(3,64) :- #0.533.
link(64,3) :- #0.318.
link(3,88) :- #0.347.
link(88,3) :- #0.429.
link(3,89) :- #0.476.
link(89,3) :- #0.91.
link(3,92) :- #0.078.
link(92,3) :- #0.633.
link(3,99) :- #0.189.
link(99,3) :- #0.68.
link(3,103) :- #0.135.
link(103,3) :- #0.721.
link(3,111) :- #0.646.
link(111,3) :- #0.899.
link(3,112) :- #0.547.
link(112,3) :- #0.744.
link(3,122) :- #0.052.
link(122,3) :- #0.902.
link(3,127) :- #0.122.
link(127,3) :- #0.572.
link(3,129) :- #0.043.
link(129,3) :- #0.45.
link(3,133) :- #0.524.
link(133,3) :- #0.363.
link(3,139) :- #0.083.
link(139,3) :- #0.654.
link(3,143) :- #0.581.
link(143,3) :- #0.43.
link(4,7) :- #0.975.
link(7,4) :- #0.793.
link(4,23) :- #0.152.
link(23,4) :- #0.887.
link(4,27) :- #0.603.
link(27,4) :- #0.542.
link(4,32) :- #0.44.
link(32,4) :- #0.194.
link(4,50) :- #0.599.
link(50,4) :- #0.963.
link(4,55) :- #0.253.
link(55,4) :- #0.571.
link(4,66) :- #0.32.
link(66,4) :- #0.924.
link(4,79) :- #0.137.
link(79,4) :- #0.492.
link(4,82) :- #0.73.
link(82,4) :- #0.364.
link(4,96) :- #0.849.
link(96,4) :- #0.63.
link(4,118) :- #0.732.
link(118,4) :- #0.17.
link(4,123) :- #0.707.
link(123,4) :- #0.611.
link(4,129) :- #0.447.
link(129,4) :- #0.043.
link(5,18) :- #0.467.
link(18,5) :- #0.321.
link(5,28) :- #0.512.
link(28,5) :- #0.067.
link(5,61) :- #0.495.
link(61,5) :- #0.598.
link(5,68) :- #0.872.
link(68,5) :- #0.293.
link(5,70) :- #0.927.
link(70,5) :- #0.74.
link(5,73) :- #0.78.
link(73,5) :- #0.084.
link(5,81) :- #0.765.
link(81,5) :- #0.009.
link(5,94) :- #0.882.
link(94,5) :- #0.704.
link(5,95) :- #0.388.
link(95,5) :- #0.178.
link(5,106) :- #0.829.
link(106,5) :- #0.487.
link(5,110) :- #0.069.
link(110,5) :- #0.275.
link(5,117) :- #0.739.
link(117,5) :- #0.068.
link(5,128) :- #0.732.
link(128,5) :- #0.018.
link(5,136) :- #0.962.
link(136,5) :- #0.811.
link(5,143) :- #0.409.
link(143,5) :- #0.682.
link(6,17) :- #0.821.
link(17,6) :- #0.597.
link(6,23) :- #0.743.
link(23,6) :- #0.314.
link(6,29) :- #0.585.
link(29,6) :- #0.049.
link(6,36) :- #0.15.
link(36,6) :- #0.503.
link(6,39) :- #0.663.
link(39,6) :- #0.775.
link(6,64) :- #0.143.
link(64,6) :- #0.384.
link(6,72) :- #0.597.
link(72,6) :- #0.023.
link(6,79) :- #0.127.
link(79,6) :- #0.936.
link(6,93) :- #0.516.
link(93,6) :- #0.772.
link(6,99) :- #0.27.
link(99,6) :- #0.002.
link(6,101) :- #0.411.
link(101,6) :- #0.793.
link(6,109) :- #0.595.
link(109,6) :- #0.092.
link(6,114) :- #0.517.
link(114,6) :- #0.768.
link(7,9) :- #0.056.
link(9,7) :- #0.997.
link(7,31) :- #0.671.
link(31,7) :- #0.628.
link(7,37) :- #0.512.
link(37,7) :- #0.439.
link(7,49) :- #0.326.
link(49,7) :- #0.719.
link(7,50) :- #0.032.
link(50,7) :- #0.382.
link(7,58) :- #0.811.
link(58,7) :- #0.023.
link(7,62) :- #0.135.
link(62,7) :- #0.789.
link(7,71) :- #0.794.
link(71,7) :- #0.069.
link(7,73) :- #0.272.
link(73,7) :- #0.449.
link(7,90) :- #0.158.
link(90,7) :- #0.48.
link(7,98) :- #0.059.
link(98,7) :- #0.12.
link(7,115) :- #0.82.
link(115,7) :- #0.653.
link(7,133) :- #0.538.
link(133,7) :- #0.624.
link(8,24) :- #0.171.
link(24,8) :- #0.291.
link(8,45) :- #0.652.
link(45,8) :- #0.285.
link(8,68) :- #0.078.
link(68,8) :- #0.591.
link(8,75) :- #0.428.
link(75,8) :- #0.249.
link(8,77) :- #0.778.
link(77,8) :- #0.344.
link(8,80) :- #0.3.
link(80,8) :- #0.905.
link(8,84) :- #0.657.
link(84,8) :- #0.258.
link(8,93) :- #0.958.
link(93,8) :- #0.879.
link(8,114) :- #0.49.
link(114,8) :- #0.074.
link(8,125) :- #0.981.
link(125,8) :- #0.581.
link(8,131) :- #0.04.
link(131,8) :- #0.534.
link(9,13) :- #0.875.
link(13,9) :- #0.135.
link(9,22) :- #0.109.
link(22,9) :- #0.031.
link(9,41) :- #0.495.
link(41,9) :- #0.874.
link(9,51) :- #0.017.
link(51,9) :- #0.389.
link(9,61) :- #0.947.
link(61,9) :- #0.624.
link(9,65) :- #0.424.
link(65,9) :- #0.167.
link(9,79) :- #0.091.
link(79,9) :- #0.383.
link(9,89) :- #0.29.
link(89,9) :- #0.554.
link(9,90) :- #0.637.
link(90,9) :- #0.938.
link(9,97) :- #0.237.
link(97,9) :- #0.884.
link(9,100) :- #0.319.
link(100,9) :- #0.643.
link(9,115) :- #0.547.
link(115,9) :- #0.417.
link(9,118) :- #0.841.
link(118,9) :- #0.306.
link(9,120) :- #0.403.
link(120,9) :- #0.092.
link(9,122) :- #0.711.
link(122,9) :- #0.494.
link(9,130) :- #0.732.
link(130,9) :- #0.548.
link(9,132) :- #0.85.
link(132,9) :- #0.024.
link(9,133) :- #0.374.
link(133,9) :- #0.986.
link(10,19) :- #0.26.
link(19,10) :- #0.051.
link(10,27) :- #0.081.
link(27,10) :- #0.227.
link(10,33) :- #0.253.
link(33,10) :- #0.397.
link(10,42) :- #0.899.
link(42,10) :- #0.045.
link(10,77) :- #0.748.
link(77,10) :- #0.369.
link(10,78) :- #0.263.
link(78,10) :- #0.154.
link(10,83) :- #0.331.
link(83,10) :- #0.563.
link(10,91) :- #0.097.
link(91,10) :- #0.79.
link(10,125) :- #0.697.
link(125,10) :- #0.453.
link(10,136) :- #0.6.
link(136,10) :- #0.062.
link(10,139) :- #0.331.
link(139,10) :- #0.239.
link(10,140) :- #0.142.
link(140,10) :- #0.17.
link(11,26) :- #0.061.
link(26,11) :- #0.293.
link(11,33) :- #0.938.
link(33,11) :- #0.318.
link(11,40) :- #0.16.
link(40,11) :- #0.112.
link(11,78) :- #0.169.
link(78,11) :- #0.055.
link(11,89) :- #0.841.
link(89,11) :- #0.202.
link(11,106) :- #0.187.
link(106,11) :- #0.708.
link(11,111) :- #0.206.
link(111,11) :- #0.324.
link(11,143) :- #0.824.
link(143,11) :- #0.203.
link(12,15) :- #0.445.
link(15,12) :- #0.863.
link(12,16) :- #0.957.
link(16,12) :- #0.519.
link(12,18) :- #0.431.
link(18,12) :- #0.295.
link(12,19) :- #0.084.
link(19,12) :- #0.257.
link(12,34) :- #0.015.
link(34,12) :- #0.116.
link(12,39) :- #0.96.
link(39,12) :- #0.722.
link(12,43) :- #0.392.
link(43,12) :- #0.858.
link(12,51) :- #0.595.
link(51,12) :- #0.755.
link(12,60) :- #0.879.
link(60,12) :- #0.719.
link(12,81) :- #0.103.
link(81,12) :- #0.504.
link(12,83) :- #0.558.
link(83,12) :- #0.559.
link(12,108) :- #0.781.
link(108,12) :- #0.891.
link(12,122) :- #0.976.
link(122,12) :- #0.019.
link(12,123) :- #0.221.
link(123,12) :- #0.698.
link(12,129) :- #0.158.
link(129,12) :- #0.781.
link(13,28) :- #0.419.
link(28,13) :- #0.787.
link(13,34) :- #0.408.
link(34,13) :- #0.715.
link(13,54) :- #0.477.
link(54,13) :- #0.63.
link(13,57) :- #0.783.
link(57,13) :- #0.275.
link(13,69) :- #0.203.
link(69,13) :- #0.306.
link(13,70) :- #0.227.
link(70,13) :- #0.658.
link(13,80) :- #0.308.
link(80,13) :- #0.774.
link(13,89) :- #0.154.
link(89,13) :- #0.569.
link(13,91) :- #0.059.
link(91,13) :- #0.05.
link(13,94) :- #0.196.
link(94,13) :- #0.972.
link(13,95) :- #0.65.
link(95,13) :- #0.158.
link(13,119) :- #0.79.
link(119,13) :- #0.674.
link(13,138) :- #0.613.
link(138,13) :- #0.011.
link(14,15) :- #0.537.
link(15,14) :- #0.562.
link(14,46) :- #0.888.
link(46,14) :- #0.863.
link(14,58) :- #0.786.
link(58,14) :- #0.502.
link(14,60) :- #0.276.
link(60,14) :- #0.53.
link(14,61) :- #0.621.
link(61,14) :- #0.504.
link(14,62) :- #0.597.
link(62,14) :- #0.104.
link(14,72) :- #0.548.
link(72,14) :- #0.393.
link(14,83) :- #0.861.
link(83,14) :- #0.582.
link(14,88) :- #0.127.
link(88,14) :- #0.667.
link(14,89) :- #0.689.
link(89,14) :- #0.33.
link(14,100) :- #0.134.
link(100,14) :- #0.227.
link(14,102) :- #0.513.
link(102,14) :- #0.179.
link(14,119) :- #0.475.
link(119,14) :- #0.358.
link(14,131) :- #0.028.
link(131,14) :- #0.483.
link(14,133) :- #0.798.
link(133,14) :- #0.609.
link(15,33) :- #0.007.
link(33,15) :- #0.6.
link(15,40) :- #0.21.
link(40,15) :- #0.77.
link(15,44) :- #0.892.
link(44,15) :- #0.082.
link(15,71) :- #0.423.
link(71,15) :- #0.786.
link(15,109) :- #0.135.
link(109,15) :- #0.476.
link(15,140) :- #0.597.
link(140,15) :- #0.456.
link(16,21) :- #0.97.
link(21,16) :- #0.052.
link(16,37) :- #0.827.
link(37,16) :- #0.036.
link(16,41) :- #0.002.
link(41,16) :- #0.279.
link(16,49) :- #0.875.
link(49,16) :- #0.127.
link(16,67) :- #0.683.
link(67,16) :- #0.304.
link(16,80) :- #0.309.
link(80,16) :- #0.457.
link(16,90) :- #0.523.
link(90,16) :- #0.595.
link(16,91) :- #0.538.
link(91,16) :- #0.592.
link(16,98) :- #0.727.
link(98,16) :- #0.904.
link(16,130) :- #0.401.
link(130,16) :- #0.28.
link(17,25) :- #0.327.
link(25,17) :- #0.683.
link(17,38) :- #0.482.
link(38,17) :- #0.762.
link(17,49) :- #0.705.
link(49,17) :- #0.302.
link(17,64) :- #0.512.
link(64,17) :- #0.055.
link(17,85) :- #0.556.
link(85,17) :- #0.21.
link(17,98) :- #0.077.
link(98,17) :- #0.258.
link(17,124) :- #0.564.
link(124,17) :- #0.494.
link(17,126) :- #0.036.
link(126,17) :- #0.306.
link(17,131) :- #0.776.
link(131,17) :- #0.702.
link(17,142) :- #0.067.
link(142,17) :- #0.303.
link(17,145) :- #0.39.
link(145,17) :- #0.182.
link(18,20) :- #0.559.
link(20,18) :- #0.569.
link(18,25) :- #0.306.
link(25,18) :- #0.248.
link(18,26) :- #0.669.
link(26,18) :- #0.261.
link(18,32) :- #0.748.
link(32,18) :- #0.963.
link(18,35) :- #0.97.
link(35,18) :- #0.019.
link(18,56) :- #0.82.
link(56,18) :- #0.192.
link(18,79) :- #0.426.
link(79,18) :- #0.417.
link(18,87) :- #0.413.
link(87,18) :- #0.337.
link(18,104) :- #0.659.
link(104,18) :- #0.256.
link(18,112) :- #0.981.
link(112,18) :- #0.084.
link(18,116) :- #0.163.
link(116,18) :- #0.299.
link(18,123) :- #0.79.
link(123,18) :- #0.846.
link(18,128) :- #0.503.
link(128,18) :- #0.219.
link(18,132) :- #0.208.
link(132,18) :- #0.946.
link(19,24) :- #0.861.
link(24,19) :- #0.15.
link(19,27) :- #0.762.
link(27,19) :- #0.97.
link(19,29) :- #0.975.
link(29,19) :- #0.578.
link(19,39) :- #0.422.
link(39,19) :- #0.007.
link(19,50) :- #0.382.
link(50,19) :- #0.956.
link(19,61) :- #0.022.
link(61,19) :- #0.518.
link(19,77) :- #0.587.
link(77,19) :- #0.434.
link(19,103) :- #0.743.
link(103,19) :- #0.396.
link(19,112) :- #0.785.
link(112,19) :- #0.746.
link(19,143) :- #0.149.
link(143,19) :- #0.106.
link(20,27) :- #0.816.
link(27,20) :- #0.614.
link(20,35) :- #0.699.
link(35,20) :- #0.955.
link(20,50) :- #0.362.
link(50,20) :- #0.804.
link(20,60) :- #0.846.
link(60,20) :- #0.972.
link(20,78) :- #0.816.
link(78,20) :- #0.369.
link(20,80) :- #0.407.
link(80,20) :- #0.215.
link(20,81) :- #0.645.
link(81,20) :- #0.763.
link(20,103) :- #0.763.
link(103,20) :- #0.846.
link(20,107) :- #0.524.
link(107,20) :- #0.812.
link(20,112) :- #0.622.
link(112,20) :- #0.833.
link(20,117) :- #0.382.
link(117,20) :- #0.546.
link(21,22) :- #0.298.
link(22,21) :- #0.773.
link(21,47) :- #0.202.
link(47,21) :- #0.005.
link(21,49) :- #0.257.
link(49,21) :- #0.223.
link(21,63) :- #0.864.
link(63,21) :- #0.541.
link(21,75) :- #0.6.
link(75,21) :- #0.81.
link(21,84) :- #0.062.
link(84,21) :- #0.229.
link(21,90) :- #0.195.
link(90,21) :- #0.925.
link(21,91) :- #0.068.
link(91,21) :- #0.395.
link(21,98) :- #0.764.
link(98,21) :- #0.302.
link(21,136) :- #0.403.
link(136,21) :- #0.566.
link(21,137) :- #0.776.
link(137,21) :- #0.263.
link(22,25) :- #0.771.
link(25,22) :- #0.358.
link(22,44) :- #0.854.
link(44,22) :- #0.999.
link(22,46) :- #0.586.
link(46,22) :- #0.622.
link(22,47) :- #0.338.
link(47,22) :- #0.208.
link(22,65) :- #0.19.
link(65,22) :- #0.135.
link(22,73) :- #0.98.
link(73,22) :- #0.613.
link(22,75) :- #0.264.
link(75,22) :- #0.893.
link(22,94) :- #0.593.
link(94,22) :- #0.95.
link(22,102) :- #0.713.
link(102,22) :- #0.816.
link(22,108) :- #0.107.
link(108,22) :- #0.559.
link(22,114) :- #0.509.
link(114,22) :- #0.026.
link(22,119) :- #0.404.
link(119,22) :- #0.582.
link(22,142) :- #0.964.
link(142,22) :- #0.55.
link(22,145) :- #0.667.
link(145,22) :- #0.52.
link(23,32) :- #0.853.
link(32,23) :- #0.95.
link(23,48) :- #0.757.
link(48,23) :- #0.465.
link(23,53) :- #0.82.
link(53,23) :- #0.296.
link(23,60) :- #0.32.
link(60,23) :- #0.154.
link(23,94) :- #0.842.
link(94,23) :- #0.696.
link(23,96) :- #0.316.
link(96,23) :- #0.318.
link(23,97) :- #0.946.
link(97,23) :- #0.16.
link(23,99) :- #0.423.
link(99,23) :- #0.759.
link(23,102) :- #0.352.
link(102,23) :- #0.481.
link(23,107) :- #0.989.
link(107,23) :- #0.782.
link(23,117) :- #0.115.
link(117,23) :- #0.531.
link(23,123) :- #0.837.
link(123,23) :- #0.931.
link(23,130) :- #0.812.
link(130,23) :- #0.546.
link(23,134) :- #0.351.
link(134,23) :- #0.248.
link(23,136) :- #0.853.
link(136,23) :- #0.473.
link(24,46) :- #0.729.
link(46,24) :- #0.309.
link(24,49) :- #0.474.
link(49,24) :- #0.074.
link(24,67) :- #0.585.
link(67,24) :- #0.021.
link(24,72) :- #0.937.
link(72,24) :- #0.629.
link(24,80) :- #0.923.
link(80,24) :- #0.296.
link(24,99) :- #0.04.
link(99,24) :- #0.458.
link(24,100) :- #0.893.
link(100,24) :- #0.488.
link(24,119) :- #0.889.
link(119,24) :- #0.16.
link(24,139) :- #0.187.
link(139,24) :- #0.242.
link(24,144) :- #0.286.
link(144,24) :- #0.125.
link(24,145) :- #0.897.
link(145,24) :- #0.801.
link(25,60) :- #0.88.
link(60,25) :- #0.098.
link(25,69) :- #0.543.
link(69,25) :- #0.975.
link(25,78) :- #0.799.
link(78,25) :- #0.092.
link(25,86) :- #0.689.
link(86,25) :- #0.729.
link(25,92) :- #0.411.
link(92,25) :- #0.884.
link(25,106) :- #0.347.
link(106,25) :- #0.675.
link(25,121) :- #0.587.
link(121,25) :- #0.462.
link(25,124) :- #0.568.
link(124,25) :- #0.784.
link(25,125) :- #0.704.
link(125,25) :- #0.697.
link(25,145) :- #0.391.
link(145,25) :- #0.081.
link(26,37) :- #0.111.
link(37,26) :- #0.077.
link(26,46) :- #0.421.
link(46,26) :- #0.375.
link(26,50) :- #0.013.
link(50,26) :- #0.697.
link(26,55) :- #0.747.
link(55,26) :- #0.693.
link(26,74) :- #0.235.
link(74,26) :- #0.64.
link(26,84) :- #0.951.
link(84,26) :- #0.799.
link(26,86) :- #0.93.
link(86,26) :- #0.18.
link(26,93) :- #0.403.
link(93,26) :- #0.161.
link(26,96) :- #0.713.
link(96,26) :- #0.715.
link(26,99) :- #0.634.
link(99,26) :- #0.072.
link(26,111) :- #0.368.
link(111,26) :- #0.207.
link(26,133) :- #0.015.
link(133,26) :- #0.327.
link(26,136) :- #0.067.
link(136,26) :- #0.14.
link(26,138) :- #0.378.
link(138,26) :- #0.218.
link(27,29) :- #0.068.
link(29,27) :- #0.246.
link(27,30) :- #0.234.
link(30,27) :- #0.443.
link(27,32) :- #0.157.
link(32,27) :- #0.565.
link(27,53) :- #0.334.
link(53,27) :- #0.407.
link(27,70) :- #0.398.
link(70,27) :- #0.951.
link(27,73) :- #0.161.
link(73,27) :- #0.942.
link(27,80) :- #0.306.
link(80,27) :- #0.004.
link(27,88) :- #0.217.
link(88,27) :- #0.489.
link(27,104) :- #0.693.
link(104,27) :- #0.265.
link(27,107) :- #0.445.
link(107,27) :- #0.762.
link(27,113) :- #0.564.
link(113,27) :- #0.553.
link(27,118) :- #0.791.
link(118,27) :- #0.818.
link(27,127) :- #0.616.
link(127,27) :- #0.677.
link(27,129) :- #0.409.
link(129,27) :- #0.628.
link(27,133) :- #0.607.
link(133,27) :- #0.635.
link(27,144) :- #0.876.
link(144,27) :- #0.987.
link(28,44) :- #0.82.
link(44,28) :- #0.59.
link(28,52) :- #0.394.
link(52,28) :- #0.883.
link(28,54) :- #0.799.
link(54,28) :- #0.474.
link(28,71) :- #0.361.
link(71,28) :- #0.987.
link(28,84) :- #0.716.
link(84,28) :- #0.458.
link(28,88) :- #0.194.
link(88,28) :- #0.445.
link(28,97) :- #0.122.
link(97,28) :- #0.781.
link(28,98) :- #0.205.
link(98,28) :- #0.595.
link(28,136) :- #0.292.
link(136,28) :- #0.533.
link(28,138) :- #0.048.
link(138,28) :- #0.188.
link(29,64) :- #0.095.
link(64,29) :- #0.017.
link(29,65) :- #0.373.
link(65,29) :- #0.272.
link(29,79) :- #0.742.
link(79,29) :- #0.85.
link(29,82) :- #0.176.
link(82,29) :- #0.615.
link(29,86) :- #0.24.
link(86,29) :- #0.953.
link(29,87) :- #0.941.
link(87,29) :- #0.673.
link(29,95) :- #0.126.
link(95,29) :- #0.304.
link(29,108) :- #0.232.
link(108,29) :- #0.963.
link(29,119) :- #0.386.
link(119,29) :- #0.698.
link(29,123) :- #0.379.
link(123,29) :- #0.941.
link(29,131) :- #0.418.
link(131,29) :- #0.518.
link(29,144) :- #0.398.
link(144,29) :- #0.018.
link(30,49) :- #0.894.
link(49,30) :- #0.774.
link(30,65) :- #0.151.
link(65,30) :- #0.322.
link(30,68) :- #0.041.
link(68,30) :- #0.504.
link(30,123) :- #0.03.
link(123,30) :- #0.75.
link(30,126) :- #0.869.
link(126,30) :- #0.323.
link(30,136) :- #0.322.
link(136,30) :- #0.263.
link(31,35) :- #0.481.
link(35,31) :- #0.031.
link(31,36) :- #0.933.
link(36,31) :- #0.578.
link(31,50) :- #0.579.
link(50,31) :- #0.026.
link(31,60) :- #0.827.
link(60,31) :- #0.116.
link(31,61) :- #0.605.
link(61,31) :- #0.956.
link(31,65) :- #0.34.
link(65,31) :- #0.479.
link(31,74) :- #0.575.
link(74,31) :- #0.862.
link(31,75) :- #0.419.
link(75,31) :- #0.724.
link(31,76) :- #0.084.
link(76,31) :- #0.764.
link(31,119) :- #0.653.
link(119,31) :- #0.393.
link(31,129) :- #0.473.
link(129,31) :- #0.391.
link(32,38) :- #0.071.
link(38,32) :- #0.697.
link(32,40) :- #0.733.
link(40,32) :- #0.975.
link(32,53) :- #0.816.
link(53,32) :- #0.374.
link(32,123) :- #0.955.
link(123,32) :- #0.871.
link(32,129) :- #0.815.
link(129,32) :- #0.918.
link(32,134) :- #0.608.
link(134,32) :- #0.104.
link(32,137) :- #0.969.
link(137,32) :- #0.712.
link(32,139) :- #0.311.
link(139,32) :- #0.133.
link(32,143) :- #0.54.
link(143,32) :- #0.896.
link(32,144) :- #0.461.
link(144,32) :- #0.368.
link(32,145) :- #0.687.
link(145,32) :- #0.831.
link(33,45) :- #0.763.
link(45,33) :- #0.817.
link(33,57) :- #0.304.
link(57,33) :- #0.883.
link(33,71) :- #0.468.
link(71,33) :- #0.388.
link(33,87) :- #0.662.
link(87,33) :- #0.089.
link(33,95) :- #0.898.
link(95,33) :- #0.246.
link(33,96) :- #0.081.
link(96,33) :- #0.304.
link(33,105) :- #0.239.
link(105,33) :- #0.738.
link(33,109) :- #0.189.
link(109,33) :- #0.755.
link(33,115) :- #0.742.
link(115,33) :- #0.975.
link(33,116) :- #0.671.
link(116,33) :- #0.935.
link(33,120) :- #0.741.
link(120,33) :- #0.281.
link(33,133) :- #0.162.
link(133,33) :- #0.334.
link(33,141) :- #0.42.
link(141,33) :- #0.792.
link(34,35) :- #0.729.
link(35,34) :- #0.431.
link(34,46) :- #0.165.
link(46,34) :- #0.918.
link(34,82) :- #0.6.
link(82,34) :- #0.084.
link(34,84) :- #0.894.
link(84,34) :- #0.727.
link(34,88) :- #0.449.
link(88,34) :- #0.266.
link(34,100) :- #0.699.
link(100,34) :- #0.525.
link(34,113) :- #0.901.
link(113,34) :- #0.093.
link(35,41) :- #0.928.
link(41,35) :- #0.47.
link(35,48) :- #0.492.
link(48,35) :- #0.883.
link(35,50) :- #0.899.
link(50,35) :- #0.584.
link(35,61) :- #0.121.
link(61,35) :- #0.45.
link(35,62) :- #0.353.
link(62,35) :- #0.439.
link(35,88) :- #0.154.
link(88,35) :- #0.86.
link(35,97) :- #0.58.
link(97,35) :- #0.251.
link(35,116) :- #0.59.
link(116,35) :- #0.162.
link(35,124) :- #0.656.
link(124,35) :- #0.626.
link(35,133) :- #0.605.
link(133,35) :- #0.209.
link(35,135) :- #0.187.
link(135,35) :- #0.376.
link(35,140) :- #0.076.
link(140,35) :- #0.224.
link(36,45) :- #0.12.
link(45,36) :- #0.257.
link(36,51) :- #0.286.
link(51,36) :- #0.493.
link(36,55) :- #0.173.
link(55,36) :- #0.302.
link(36,59) :- #0.533.
link(59,36) :- #0.873.
link(36,68) :- #0.062.
link(68,36) :- #0.254.
link(36,75) :- #0.169.
link(75,36) :- #0.318.
link(36,79) :- #0.22.
link(79,36) :- #0.094.
link(36,87) :- #0.19.
link(87,36) :- #0.41.
link(36,108) :- #0.188.
link(108,36) :- #0.478.
link(36,110) :- #0.659.
link(110,36) :- #0.872.
link(36,127) :- #0.065.
link(127,36) :- #0.248.
link(36,129) :- #0.362.
link(129,36) :- #0.168.
link(36,133) :- #0.731.
link(133,36) :- #0.702.
link(36,138) :- #0.368.
link(138,36) :- #0.652.
link(36,144) :- #0.279.
link(144,36) :- #0.773.
link(37,42) :- #0.92.
link(42,37) :- #0.096.
link(37,43) :- #0.83.
link(43,37) :- #0.358.
link(37,49) :- #0.848.
link(49,37) :- #0.177.
link(37,59) :- #0.609.
link(59,37) :- #0.045.
link(37,67) :- #0.771.
link(67,37) :- #0.188.
link(37,69) :- #0.548.
link(69,37) :- #0.113.
link(37,82) :- #0.662.
link(82,37) :- #0.496.
link(37,88) :- #0.371.
link(88,37) :- #0.717.
link(37,137) :- #0.074.
link(137,37) :- #0.462.
link(37,141) :- #0.06.
link(141,37) :- #0.492.
link(38,48) :- #0.811.
link(48,38) :- #0.565.
link(38,53) :- #0.968.
link(53,38) :- #0.524.
link(38,59) :- #0.15.
link(59,38) :- #0.49.
link(38,69) :- #0.766.
link(69,38) :- #0.842.
link(38,75) :- #0.665.
link(75,38) :- #0.106.
link(38,83) :- #0.812.
link(83,38) :- #0.805.
link(38,92) :- #0.224.
link(92,38) :- #0.541.
link(38,93) :- #0.542.
link(93,38) :- #0.148.
link(38,98) :- #0.992.
link(98,38) :- #0.398.
link(38,105) :- #0.794.
link(105,38) :- #0.147.
link(38,128) :- #0.202.
link(128,38) :- #0.231.
link(38,132) :- #0.884.
link(132,38) :- #0.363.
link(39,42) :- #0.606.
link(42,39) :- #0.554.
link(39,56) :- #0.979.
link(56,39) :- #0.626.
link(39,83) :- #0.63.
link(83,39) :- #0.225.
link(39,87) :- #0.465.
link(87,39) :- #0.181.
link(39,90) :- #0.44.
link(90,39) :- #0.243.
link(39,97) :- #0.401.
link(97,39) :- #0.736.
link(39,115) :- #0.926.
link(115,39) :- #0.918.
link(39,131) :- #0.467.
link(131,39) :- #0.406.
link(39,138) :- #0.562.
link(138,39) :- #0.458.
link(40,45) :- #0.657.
link(45,40) :- #0.275.
link(40,63) :- #0.676.
link(63,40) :- #0.225.
link(40,72) :- #0.156.
link(72,40) :- #0.396.
link(40,87) :- #0.765.
link(87,40) :- #0.932.
link(40,118) :- #0.489.
link(118,40) :- #0.094.
link(40,121) :- #0.568.
link(121,40) :- #0.577.
link(40,123) :- #0.302.
link(123,40) :- #0.339.
link(40,131) :- #0.892.
link(131,40) :- #0.996.
link(40,140) :- #0.729.
link(140,40) :- #0.864.
link(40,142) :- #0.056.
link(142,40) :- #0.969.
link(41,47) :- #0.449.
link(47,41) :- #0.515.
link(41,48) :- #0.963.
link(48,41) :- #0.207.
link(41,55) :- #0.76.
link(55,41) :- #0.737.
link(41,62) :- #0.411.
link(62,41) :- #0.435.
link(41,95) :- #0.544.
link(95,41) :- #0.049.
link(41,100) :- #0.533.
link(100,41) :- #0.882.
link(41,104) :- #0.123.
link(104,41) :- #0.068.
link(41,105) :- #0.193.
link(105,41) :- #0.653.
link(41,126) :- #0.075.
link(126,41) :- #0.094.
link(41,133) :- #0.421.
link(133,41) :- #0.737.
link(42,54) :- #0.021.
link(54,42) :- #0.151.
link(42,57) :- #0.507.
link(57,42) :- #0.455.
link(42,58) :- #0.739.
link(58,42) :- #0.817.
link(42,72) :- #0.105.
link(72,42) :- #0.193.
link(42,77) :- #0.261.
link(77,42) :- #0.278.
link(42,101) :- #0.632.
link(101,42) :- #0.918.
link(42,106) :- #0.601.
link(106,42) :- #0.047.
link(42,113) :- #0.655.
link(113,42) :- #0.558.
link(42,129) :- #0.583.
link(129,42) :- #0.286.
link(42,134) :- #0.729.
link(134,42) :- #0.339.
link(43,46) :- #0.867.
link(46,43) :- #0.95.
link(43,49) :- #0.976.
link(49,43) :- #0.222.
link(43,50) :- #0.442.
link(50,43) :- #0.164.
link(43,58) :- #0.396.
link(58,43) :- #0.881.
link(43,71) :- #0.682.
link(71,43) :- #0.636.
link(43,74) :- #0.572.
link(74,43) :- #0.189.
link(43,77) :- #0.051.
link(77,43) :- #0.215.
link(43,78) :- #0.743.
link(78,43) :- #0.831.
link(43,85) :- #0.807.
link(85,43) :- #0.171.
link(43,93) :- #0.736.
link(93,43) :- #0.764.
link(43,98) :- #0.872.
link(98,43) :- #0.733.
link(43,99) :- #0.544.
link(99,43) :- #0.489.
link(43,113) :- #0.647.
link(113,43) :- #0.073.
link(43,123) :- #0.317.
link(123,43) :- #0.997.
link(43,130) :- #0.843.
link(130,43) :- #0.159.
link(43,139) :- #0.766.
link(139,43) :- #0.421.
link(44,52) :- #0.86.
link(52,44) :- #0.014.
link(44,62) :- #0.74.
link(62,44) :- #0.492.
link(44,80) :- #0.308.
link(80,44) :- #0.18.
link(44,85) :- #0.414.
link(85,44) :- #0.415.
link(44,91) :- #0.687.
link(91,44) :- #0.091.
link(44,94) :- #0.995.
link(94,44) :- #0.569.
link(44,98) :- #0.006.
link(98,44) :- #0.316.
link(44,118) :- #0.238.
link(118,44) :- #0.809.
link(44,125) :- #0.235.
link(125,44) :- #0.746.
link(44,126) :- #0.655.
link(126,44) :- #0.333.
link(44,128) :- #0.51.
link(128,44) :- #0.112.
link(44,135) :- #0.295.
link(135,44) :- #0.98.
link(44,139) :- #0.167.
link(139,44) :- #0.142.
link(45,57) :- #0.836.
link(57,45) :- #0.131.
link(45,67) :- #0.168.
link(67,45) :- #0.177.
link(45,70) :- #0.74.
link(70,45) :- #0.709.
link(45,100) :- #0.632.
link(100,45) :- #0.545.
link(45,103) :- #0.179.
link(103,45) :- #0.013.
link(45,107) :- #0.965.
link(107,45) :- #0.953.
link(45,116) :- #0.516.
link(116,45) :- #0.805.
link(45,131) :- #0.833.
link(131,45) :- #0.071.
link(46,49) :- #0.577.
link(49,46) :- #0.313.
link(46,50) :- #0.707.
link(50,46) :- #0.29.
link(46,60) :- #0.806.
link(60,46) :- #0.853.
link(46,66) :- #0.317.
link(66,46) :- #0.96.
link(46,73) :- #0.364.
link(73,46) :- #0.164.
link(46,91) :- #0.583.
link(91,46) :- #0.603.
link(46,96) :- #0.187.
link(96,46) :- #0.192.
link(46,103) :- #0.923.
link(103,46) :- #0.415.
link(46,105) :- #0.142.
link(105,46) :- #0.779.
link(46,113) :- #0.475.
link(113,46) :- #0.64.
link(46,126) :- #0.471.
link(126,46) :- #0.288.
link(46,133) :- #0.35.
link(133,46) :- #0.894.
link(46,135) :- #0.219.
link(135,46) :- #0.674.
link(46,145) :- #0.342.
link(145,46) :- #0.658.
link(47,61) :- #0.081.
link(61,47) :- #0.427.
link(47,64) :- #0.47.
link(64,47) :- #0.701.
link(47,71) :- #0.901.
link(71,47) :- #0.511.
link(47,72) :- #0.649.
link(72,47) :- #0.107.
link(47,75) :- #0.672.
link(75,47) :- #0.317.
link(47,136) :- #0.833.
link(136,47) :- #0.621.
link(48,50) :- #0.511.
link(50,48) :- #0.175.
link(48,52) :- #0.055.
link(52,48) :- #0.771.
link(48,57) :- #0.397.
link(57,48) :- #0.499.
link(48,114) :- #0.296.
link(114,48) :- #0.367.
link(48,115) :- #0.059.
link(115,48) :- #0.791.
link(48,118) :- #0.545.
link(118,48) :- #0.675.
link(48,121) :- #0.87.
link(121,48) :- #0.675.
link(48,130) :- #0.348.
link(130,48) :- #0.58.
link(48,131) :- #0.952.
link(131,48) :- #0.83.
link(49,50) :- #0.75.
link(50,49) :- #0.957.
link(49,55) :- #0.395.
link(55,49) :- #0.956.
link(49,68) :- #0.485.
link(68,49) :- #0.187.
link(49,73) :- #0.99.
link(73,49) :- #0.155.
link(49,78) :- #0.479.
link(78,49) :- #0.355.
link(49,85) :- #0.5.
link(85,49) :- #0.798.
link(49,90) :- #0.965.
link(90,49) :- #0.971.
link(49,96) :- #0.181.
link(96,49) :- #0.839.
link(49,97) :- #0.35.
link(97,49) :- #0.914.
link(49,100) :- #0.129.
link(100,49) :- #0.853.
link(49,111) :- #0.341.
link(111,49) :- #0.34.
link(49,129) :- #0.549.
link(129,49) :- #0.86.
link(49,133) :- #0.01.
link(133,49) :- #0.989.
link(49,142) :- #0.122.
link(142,49) :- #0.27.
link(50,79) :- #0.471.
link(79,50) :- #0.38.
link(50,94) :- #0.24.
link(94,50) :- #0.317.
link(50,108) :- #0.615.
link(108,50) :- #0.684.
link(50,110) :- #0.784.
link(110,50) :- #0.038.
link(50,114) :- #0.104.
link(114,50) :- #0.477.
link(50,122) :- #0.678.
link(122,50) :- #0.649.
link(50,135) :- #0.134.
link(135,50) :- #0.394.
link(51,70) :- #0.371.
link(70,51) :- #0.805.
link(51,107) :- #0.706.
link(107,51) :- #0.956.
link(51,108) :- #0.446.
link(108,51) :- #0.45.
link(51,109) :- #0.556.
link(109,51) :- #0.204.
link(51,114) :- #0.344.
link(114,51) :- #0.233.
link(51,129) :- #0.953.
link(129,51) :- #0.444.
link(51,141) :- #0.849.
link(141,51) :- #0.846.
link(52,61) :- #0.277.
link(61,52) :- #0.536.
link(52,65) :- #0.086.
link(65,52) :- #0.363.
link(52,66) :- #0.166.
link(66,52) :- #0.893.
link(52,76) :- #0.849.
link(76,52) :- #0.104.
link(52,81) :- #0.773.
link(81,52) :- #0.574.
link(52,89) :- #0.577.
link(89,52) :- #0.641.
link(52,105) :- #0.048.
link(105,52) :- #0.52.
link(52,106) :- #0.141.
link(106,52) :- #0.069.
link(52,110) :- #0.161.
link(110,52) :- #0.661.
link(53,56) :- #0.219.
link(56,53) :- #0.237.
link(53,65) :- #0.248.
link(65,53) :- #0.209.
link(53,75) :- #0.699.
link(75,53) :- #0.278.
link(53,76) :- #0.428.
link(76,53) :- #0.114.
link(53,81) :- #0.585.
link(81,53) :- #0.04.
link(53,113) :- #0.648.
link(113,53) :- #0.304.
link(53,122) :- #0.012.
link(122,53) :- #0.099.
link(53,140) :- #0.871.
link(140,53) :- #0.595.
link(53,143) :- #0.394.
link(143,53) :- #0.22.
link(54,77) :- #0.8.
link(77,54) :- #0.084.
link(54,95) :- #0.594.
link(95,54) :- #0.075.
link(54,98) :- #0.81.
link(98,54) :- #0.509.
link(54,115) :- #0.401.
link(115,54) :- #0.608.
link(54,122) :- #0.562.
link(122,54) :- #0.632.
link(54,128) :- #0.061.
link(128,54) :- #0.679.
link(54,129) :- #0.716.
link(129,54) :- #0.639.
link(54,132) :- #0.226.
link(132,54) :- #0.191.
link(54,143) :- #0.861.
link(143,54) :- #0.265.
link(55,68) :- #0.244.
link(68,55) :- #0.1.
link(55,97) :- #0.695.
link(97,55) :- #0.63.
link(55,102) :- #0.369.
link(102,55) :- #0.926.
link(55,110) :- #0.457.
link(110,55) :- #0.154.
link(55,113) :- #0.329.
link(113,55) :- #0.291.
link(55,119) :- #0.705.
link(119,55) :- #0.755.
link(56,66) :- #0.764.
link(66,56) :- #0.725.
link(56,75) :- #0.728.
link(75,56) :- #0.284.
link(56,94) :- #0.009.
link(94,56) :- #0.434.
link(56,105) :- #0.959.
link(105,56) :- #0.821.
link(56,108) :- #0.306.
link(108,56) :- #0.9.
link(56,111) :- #0.797.
link(111,56) :- #0.445.
link(57,71) :- #0.944.
link(71,57) :- #0.194.
link(57,76) :- #0.729.
link(76,57) :- #0.988.
link(57,78) :- #0.674.
link(78,57) :- #0.571.
link(57,87) :- #0.767.
link(87,57) :- #0.495.
link(57,97) :- #0.662.
link(97,57) :- #0.611.
link(57,102) :- #0.161.
link(102,57) :- #0.75.
link(57,110) :- #0.67.
link(110,57) :- #0.568.
link(57,132) :- #0.427.
link(132,57) :- #0.782.
link(57,141) :- #0.156.
link(141,57) :- #0.245.
link(58,83) :- #0.776.
link(83,58) :- #0.311.
link(58,104) :- #0.017.
link(104,58) :- #0.093.
link(58,116) :- #0.587.
link(116,58) :- #0.185.
link(58,141) :- #0.031.
link(141,58) :- #0.242.
link(59,66) :- #0.037.
link(66,59) :- #0.111.
link(59,97) :- #0.23.
link(97,59) :- #0.019.
link(59,126) :- #0.067.
link(126,59) :- #0.966.
link(59,139) :- #0.072.
link(139,59) :- #0.309.
link(60,64) :- #0.757.
link(64,60) :- #0.332.
link(60,79) :- #0.75.
link(79,60) :- #0.026.
link(60,84) :- #0.493.
link(84,60) :- #0.263.
link(60,90) :- #0.45.
link(90,60) :- #0.21.
link(60,96) :- #0.118.
link(96,60) :- #0.764.
link(60,100) :- #0.983.
link(100,60) :- #0.884.
link(60,109) :- #0.25.
link(109,60) :- #0.818.
link(60,112) :- #0.628.
link(112,60) :- #0.274.
link(60,114) :- #0.789.
link(114,60) :- #0.57.
link(60,119) :- #0.297.
link(119,60) :- #0.146.
link(60,134) :- #0.342.
link(134,60) :- #0.283.
link(61,63) :- #0.211.
link(63,61) :- #0.584.
link(61,87) :- #0.944.
link(87,61) :- #0.116.
link(61,102) :- #0.286.
link(102,61) :- #0.141.
link(61,112) :- #0.457.
link(112,61) :- #0.227.
link(61,115) :- #0.612.
link(115,61) :- #0.971.
link(61,120) :- #0.002.
link(120,61) :- #0.21.
link(62,77) :- #0.814.
link(77,62) :- #0.695.
link(62,83) :- #0.219.
link(83,62) :- #0.801.
link(62,91) :- #0.418.
link(91,62) :- #0.672.
link(62,97) :- #0.548.
link(97,62) :- #0.82.
link(62,99) :- #0.467.
link(99,62) :- #0.19.
link(62,108) :- #0.487.
link(108,62) :- #0.876.
link(62,119) :- #0.776.
link(119,62) :- #0.522.
link(62,122) :- #0.206.
link(122,62) :- #0.57.
link(62,132) :- #0.008.
link(132,62) :- #0.664.
link(63,70) :- #0.557.
link(70,63) :- #0.318.
link(63,85) :- #0.938.
link(85,63) :- #0.864.
link(63,93) :- #0.207.
link(93,63) :- #0.102.
link(63,104) :- #0.384.
link(104,63) :- #0.427.
link(63,109) :- #0.304.
link(109,63) :- #0.035.
link(63,110) :- #0.357.
link(110,63) :- #0.911.
link(63,111) :- #0.012.
link(111,63) :- #0.683.
link(63,115) :- #0.621.
link(115,63) :- #0.279.
link(63,118) :- #0.609.
link(118,63) :- #0.32.
link(63,120) :- #0.368.
link(120,63) :- #0.189.
link(63,133) :- #0.632.
link(133,63) :- #0.281.
link(64,70) :- #0.675.
link(70,64) :- #0.795.
link(64,86) :- #0.92.
link(86,64) :- #0.036.
link(64,88) :- #0.531.
link(88,64) :- #0.807.
link(64,89) :- #0.216.
link(89,64) :- #0.708.
link(64,96) :- #0.948.
link(96,64) :- #0.291.
link(64,108) :- #0.413.
link(108,64) :- #0.167.
link(64,110) :- #0.187.
link(110,64) :- #0.727.
link(64,114) :- #0.076.
link(114,64) :- #0.304.
link(64,118) :- #0.693.
link(118,64) :- #0.025.
link(64,132) :- #0.036.
link(132,64) :- #0.32.
link(64,133) :- #0.624.
link(133,64) :- #0.926.
link(64,135) :- #0.554.
link(135,64) :- #0.106.
link(64,138) :- #0.997.
link(138,64) :- #0.916.
link(64,141) :- #0.636.
link(141,64) :- #0.826.
link(65,69) :- #0.536.
link(69,65) :- #0.302.
link(65,91) :- #0.059.
link(91,65) :- #0.359.
link(65,92) :- #0.36.
link(92,65) :- #0.545.
link(65,101) :- #0.509.
link(101,65) :- #0.18.
link(65,109) :- #0.124.
link(109,65) :- #0.469.
link(65,121) :- #0.137.
link(121,65) :- #0.771.
link(65,122) :- #0.156.
link(122,65) :- #0.516.
link(65,133) :- #0.96.
link(133,65) :- #0.719.
link(65,143) :- #0.282.
link(143,65) :- #0.112.
link(66,76) :- #0.669.
link(76,66) :- #0.886.
link(66,77) :- #0.422.
link(77,66) :- #0.276.
link(66,82) :- #0.874.
link(82,66) :- #0.578.
link(66,91) :- #0.784.
link(91,66) :- #0.417.
link(66,105) :- #0.165.
link(105,66) :- #0.556.
link(66,109) :- #0.479.
link(109,66) :- #0.384.
link(66,130) :- #0.887.
link(130,66) :- #0.17.
link(66,139) :- #0.304.
link(139,66) :- #0.199.
link(66,141) :- #0.639.
link(141,66) :- #0.541.
link(67,71) :- #0.865.
link(71,67) :- #0.799.
link(67,80) :- #0.468.
link(80,67) :- #0.671.
link(67,88) :- #0.384.
link(88,67) :- #0.724.
link(67,121) :- #0.741.
link(121,67) :- #0.891.
link(67,129) :- #0.961.
link(129,67) :- #0.214.
link(67,130) :- #0.113.
link(130,67) :- #0.224.
link(67,131) :- #0.181.
link(131,67) :- #0.933.
link(67,135) :- #0.671.
link(135,67) :- #0.948.
link(67,144) :- #0.443.
link(144,67) :- #0.596.
link(68,70) :- #0.905.
link(70,68) :- #0.914.
link(68,96) :- #0.944.
link(96,68) :- #0.685.
link(68,114) :- #0.876.
link(114,68) :- #0.425.
link(68,125) :- #0.405.
link(125,68) :- #0.115.
link(68,126) :- #0.869.
link(126,68) :- #0.823.
link(68,144) :- #0.684.
link(144,68) :- #0.904.
link(69,83) :- #0.705.
link(83,69) :- #0.291.
link(69,88) :- #0.601.
link(88,69) :- #0.355.
link(69,103) :- #0.946.
link(103,69) :- #0.884.
link(69,104) :- #0.429.
link(104,69) :- #0.022.
link(69,112) :- #0.005.
link(112,69) :- #0.897.
link(69,119) :- #0.748.
link(119,69) :- #0.26.
link(69,135) :- #0.876.
link(135,69) :- #0.61.
link(69,144) :- #0.784.
link(144,69) :- #0.894.
link(70,90) :- #0.083.
link(90,70) :- #0.065.
link(70,101) :- #0.241.
link(101,70) :- #0.558.
link(70,104) :- #0.004.
link(104,70) :- #0.185.
link(70,105) :- #0.275.
link(105,70) :- #0.47.
link(70,135) :- #0.615.
link(135,70) :- #0.665.
link(71,90) :- #0.966.
link(90,71) :- #0.525.
link(71,93) :- #0.79.
link(93,71) :- #0.86.
link(71,101) :- #0.068.
link(101,71) :- #0.836.
link(71,102) :- #0.835.
link(102,71) :- #0.553.
link(71,109) :- #0.098.
link(109,71) :- #0.811.
link(71,112) :- #0.831.
link(112,71) :- #0.082.
link(71,114) :- #0.248.
link(114,71) :- #0.9.
link(71,119) :- #0.789.
link(119,71) :- #0.586.
link(71,122) :- #0.915.
link(122,71) :- #0.705.
link(71,129) :- #0.315.
link(129,71) :- #0.275.
link(71,135) :- #0.756.
link(135,71) :- #0.919.
link(72,76) :- #0.519.
link(76,72) :- #0.856.
link(72,99) :- #0.698.
link(99,72) :- #0.665.
link(72,105) :- #0.135.
link(105,72) :- #0.733.
link(72,126) :- #0.478.
link(126,72) :- #0.256.
link(72,134) :- #0.784.
link(134,72) :- #0.201.
link(72,139) :- #0.714.
link(139,72) :- #0.164.
link(72,140) :- #0.336.
link(140,72) :- #0.682.
link(72,144) :- #0.749.
link(144,72) :- #0.25.
link(73,76) :- #0.353.
link(76,73) :- #0.519.
link(73,99) :- #0.143.
link(99,73) :- #0.871.
link(73,105) :- #0.162.
link(105,73) :- #0.141.
link(73,106) :- #0.682.
link(106,73) :- #0.855.
link(73,115) :- #0.937.
link(115,73) :- #0.397.
link(73,121) :- #0.555.
link(121,73) :- #0.017.
link(73,122) :- #0.762.
link(122,73) :- #0.849.
link(73,137) :- #0.366.
link(137,73) :- #0.73.
link(73,145) :- #0.557.
link(145,73) :- #0.097.
link(74,83) :- #0.21.
link(83,74) :- #0.315.
link(74,107) :- #0.504.
link(107,74) :- #0.224.
link(74,109) :- #0.903.
link(109,74) :- #0.822.
link(74,113) :- #0.512.
link(113,74) :- #0.002.
link(74,119) :- #0.024.
link(119,74) :- #0.179.
link(75,97) :- #0.933.
link(97,75) :- #0.953.
link(75,101) :- #0.715.
link(101,75) :- #0.061.
link(75,103) :- #0.15.
link(103,75) :- #0.2.
link(75,126) :- #0.501.
link(126,75) :- #0.092.
link(75,130) :- #0.653.
link(130,75) :- #0.616.
link(76,88) :- #0.3.
link(88,76) :- #0.706.
link(76,102) :- #0.305.
link(102,76) :- #0.003.
link(76,118) :- #0.33.
link(118,76) :- #0.895.
link(76,119) :- #0.764.
link(119,76) :- #0.435.
link(76,126) :- #0.857.
link(126,76) :- #0.037.
link(76,131) :- #0.637.
link(131,76) :- #0.862.
link(76,142) :- #0.633.
link(142,76) :- #0.45.
link(76,144) :- #0.079.
link(144,76) :- #0.081.
link(77,81) :- #0.801.
link(81,77) :- #0.55.
link(77,90) :- #0.084.
link(90,77) :- #0.312.
link(77,93) :- #0.017.
link(93,77) :- #0.592.
link(77,94) :- #0.002.
link(94,77) :- #0.259.
link(77,106) :- #0.206.
link(106,77) :- #0.537.
link(77,107) :- #0.294.
link(107,77) :- #0.272.
link(77,110) :- #0.711.
link(110,77) :- #0.569.
link(77,115) :- #0.834.
link(115,77) :- #0.671.
link(77,136) :- #0.662.
link(136,77) :- #0.967.
link(77,137) :- #0.218.
link(137,77) :- #0.306.
link(77,143) :- #0.061.
link(143,77) :- #0.143.
link(78,80) :- #0.26.
link(80,78) :- #0.815.
link(78,86) :- #0.824.
link(86,78) :- #0.867.
link(78,88) :- #0.018.
link(88,78) :- #0.204.
link(78,94) :- #0.562.
link(94,78) :- #0.406.
link(78,96) :- #0.975.
link(96,78) :- #0.012.
link(78,120) :- #0.232.
link(120,78) :- #0.986.
link(78,127) :- #0.045.
link(127,78) :- #0.537.
link(78,130) :- #0.436.
link(130,78) :- #0.903.
link(78,134) :- #0.696.
link(134,78) :- #0.99.
link(78,143) :- #0.548.
link(143,78) :- #0.381.
link(79,83) :- #0.942.
link(83,79) :- #0.707.
link(79,98) :- #0.477.
link(98,79) :- #0.068.
link(79,120) :- #0.303.
link(120,79) :- #0.336.
link(79,136) :- #0.487.
link(136,79) :- #0.724.
link(79,141) :- #0.847.
link(141,79) :- #0.348.
link(79,143) :- #0.524.
link(143,79) :- #0.111.
link(80,89) :- #0.508.
link(89,80) :- #0.133.
link(80,93) :- #0.12.
link(93,80) :- #0.519.
link(80,98) :- #0.274.
link(98,80) :- #0.864.
link(80,137) :- #0.446.
link(137,80) :- #0.45.
link(80,139) :- #0.202.
link(139,80) :- #0.143.
link(80,142) :- #0.113.
link(142,80) :- #0.155.
link(81,95) :- #0.481.
link(95,81) :- #0.299.
link(81,97) :- #0.986.
link(97,81) :- #0.497.
link(81,98) :- #0.626.
link(98,81) :- #0.95.
link(81,102) :- #0.747.
link(102,81) :- #0.689.
link(81,106) :- #0.061.
link(106,81) :- #0.698.
link(81,117) :- #0.127.
link(117,81) :- #0.095.
link(81,124) :- #0.593.
link(124,81) :- #0.627.
link(82,91) :- #0.21.
link(91,82) :- #0.515.
link(82,92) :- #0.019.
link(92,82) :- #0.626.
link(82,100) :- #0.947.
link(100,82) :- #0.207.
link(82,108) :- #0.243.
link(108,82) :- #0.552.
link(82,109) :- #0.771.
link(109,82) :- #0.646.
link(82,112) :- #0.85.
link(112,82) :- #0.528.
link(82,145) :- #0.029.
link(145,82) :- #0.509.
link(83,93) :- #0.27.
link(93,83) :- #0.238.
link(83,97) :- #0.907.
link(97,83) :- #0.132.
link(83,108) :- #0.975.
link(108,83) :- #0.147.
link(83,125) :- #0.62.
link(125,83) :- #0.378.
link(83,145) :- #0.085.
link(145,83) :- #0.184.
link(84,89) :- #0.363.
link(89,84) :- #0.28.
link(84,100) :- #0.437.
link(100,84) :- #0.358.
link(84,115) :- #0.662.
link(115,84) :- #0.405.
link(84,116) :- #0.147.
link(116,84) :- #0.009.
link(84,117) :- #0.432.
link(117,84) :- #0.711.
link(84,137) :- #0.943.
link(137,84) :- #0.325.
link(84,142) :- #0.721.
link(142,84) :- #0.972.
link(85,87) :- #0.573.
link(87,85) :- #0.377.
link(85,105) :- #0.428.
link(105,85) :- #0.97.
link(85,113) :- #0.167.
link(113,85) :- #0.101.
link(85,121) :- #0.625.
link(121,85) :- #0.588.
link(85,129) :- #0.168.
link(129,85) :- #0.53.
link(86,104) :- #0.461.
link(104,86) :- #0.362.
link(86,117) :- #0.739.
link(117,86) :- #0.426.
link(86,118) :- #0.296.
link(118,86) :- #0.712.
link(86,120) :- #0.245.
link(120,86) :- #0.528.
link(86,126) :- #0.145.
link(126,86) :- #0.918.
link(86,136) :- #0.497.
link(136,86) :- #0.712.
link(86,141) :- #0.886.
link(141,86) :- #0.463.
link(87,100) :- #0.919.
link(100,87) :- #0.702.
link(87,103) :- #0.767.
link(103,87) :- #0.906.
link(87,112) :- #0.371.
link(112,87) :- #0.952.
link(87,118) :- #0.818.
link(118,87) :- #0.22.
link(87,126) :- #0.119.
link(126,87) :- #0.161.
link(87,137) :- #0.816.
link(137,87) :- #0.122.
link(88,92) :- #0.771.
link(92,88) :- #0.538.
link(88,98) :- #0.73.
link(98,88) :- #0.385.
link(88,100) :- #0.198.
link(100,88) :- #0.636.
link(88,106) :- #0.492.
link(106,88) :- #0.24.
link(88,114) :- #0.423.
link(114,88) :- #0.809.
link(88,122) :- #0.676.
link(122,88) :- #0.694.
link(88,133) :- #0.854.
link(133,88) :- #0.383.
link(89,103) :- #0.944.
link(103,89) :- #0.899.
link(89,127) :- #0.422.
link(127,89) :- #0.469.
link(89,139) :- #0.118.
link(139,89) :- #0.329.
link(89,143) :- #0.07.
link(143,89) :- #0.343.
link(89,145) :- #0.584.
link(145,89) :- #0.807.
link(90,101) :- #0.682.
link(101,90) :- #0.886.
link(90,106) :- #0.407.
link(106,90) :- #0.748.
link(90,112) :- #0.888.
link(112,90) :- #0.271.
link(90,127) :- #0.726.
link(127,90) :- #0.113.
link(90,132) :- #0.046.
link(132,90) :- #0.687.
link(90,145) :- #0.456.
link(145,90) :- #0.59.
link(91,92) :- #0.172.
link(92,91) :- #0.079.
link(91,109) :- #0.204.
link(109,91) :- #0.44.
link(91,116) :- #0.096.
link(116,91) :- #0.992.
link(91,119) :- #0.293.
link(119,91) :- #0.223.
link(91,130) :- #0.916.
link(130,91) :- #0.213.
link(91,134) :- #0.383.
link(134,91) :- #0.527.
link(91,137) :- #0.07.
link(137,91) :- #0.087.
link(92,93) :- #0.983.
link(93,92) :- #0.502.
link(92,95) :- #0.292.
link(95,92) :- #0.489.
link(92,97) :- #0.143.
link(97,92) :- #0.13.
link(92,114) :- #0.386.
link(114,92) :- #0.342.
link(92,116) :- #0.188.
link(116,92) :- #0.11.
link(92,123) :- #0.384.
link(123,92) :- #0.441.
link(92,130) :- #0.003.
link(130,92) :- #0.932.
link(92,137) :- #0.962.
link(137,92) :- #0.689.
link(93,101) :- #0.308.
link(101,93) :- #0.383.
link(93,122) :- #0.482.
link(122,93) :- #0.907.
link(94,100) :- #0.566.
link(100,94) :- #0.498.
link(94,101) :- #0.906.
link(101,94) :- #0.039.
link(94,107) :- #0.675.
link(107,94) :- #0.897.
link(94,108) :- #0.862.
link(108,94) :- #0.266.
link(94,111) :- #0.813.
link(111,94) :- #0.965.
link(94,115) :- #0.189.
link(115,94) :- #0.608.
link(94,126) :- #0.789.
link(126,94) :- #0.194.
link(95,97) :- #0.241.
link(97,95) :- #0.471.
link(95,107) :- #0.622.
link(107,95) :- #0.999.
link(95,120) :- #0.566.
link(120,95) :- #0.232.
link(95,127) :- #0.931.
link(127,95) :- #0.959.
link(95,129) :- #0.464.
link(129,95) :- #0.782.
link(95,140) :- #0.076.
link(140,95) :- #0.777.
link(96,99) :- #0.388.
link(99,96) :- #0.393.
link(96,105) :- #0.786.
link(105,96) :- #0.619.
link(96,106) :- #0.521.
link(106,96) :- #0.901.
link(97,120) :- #0.724.
link(120,97) :- #0.156.
link(97,133) :- #0.919.
link(133,97) :- #0.899.
link(97,136) :- #0.914.
link(136,97) :- #0.829.
link(98,142) :- #0.705.
link(142,98) :- #0.011.
link(99,101) :- #0.021.
link(101,99) :- #0.964.
link(99,102) :- #0.443.
link(102,99) :- #0.8.
link(99,112) :- #0.985.
link(112,99) :- #0.55.
link(99,126) :- #0.581.
link(126,99) :- #0.094.
link(99,141) :- #0.549.
link(141,99) :- #0.349.
link(100,103) :- #0.732.
link(103,100) :- #0.45.
link(101,110) :- #0.713.
link(110,101) :- #0.453.
link(101,112) :- #0.423.
link(112,101) :- #0.78.
link(101,114) :- #0.49.
link(114,101) :- #0.412.
link(101,126) :- #0.446.
link(126,101) :- #0.326.
link(101,144) :- #0.32.
link(144,101) :- #0.202.
link(102,117) :- #0.972.
link(117,102) :- #0.894.
link(102,124) :- #0.061.
link(124,102) :- #0.949.
link(102,135) :- #0.624.
link(135,102) :- #0.577.
link(102,138) :- #0.208.
link(138,102) :- #0.771.
link(102,143) :- #0.689.
link(143,102) :- #0.806.
link(103,137) :- #0.225.
link(137,103) :- #0.975.
link(104,111) :- #0.726.
link(111,104) :- #0.062.
link(104,114) :- #0.198.
link(114,104) :- #0.309.
link(104,118) :- #0.142.
link(118,104) :- #0.686.
link(104,122) :- #0.111.
link(122,104) :- #0.833.
link(104,126) :- #0.61.
link(126,104) :- #0.061.
link(105,113) :- #0.372.
link(113,105) :- #0.229.
link(105,119) :- #0.823.
link(119,105) :- #0.756.
link(105,131) :- #0.97.
link(131,105) :- #0.148.
link(106,113) :- #0.421.
link(113,106) :- #0.68.
link(106,115) :- #0.04.
link(115,106) :- #0.158.
link(106,118) :- #0.467.
link(118,106) :- #0.676.
link(106,135) :- #0.4.
link(135,106) :- #0.556.
link(106,136) :- #0.623.
link(136,106) :- #0.463.
link(107,110) :- #0.85.
link(110,107) :- #0.061.
link(107,116) :- #0.923.
link(116,107) :- #0.284.
link(107,117) :- #0.821.
link(117,107) :- #0.132.
link(107,125) :- #0.289.
link(125,107) :- #0.63.
link(107,126) :- #0.358.
link(126,107) :- #0.403.
link(107,137) :- #0.695.
link(137,107) :- #0.994.
link(108,119) :- #0.876.
link(119,108) :- #0.732.
link(108,124) :- #0.355.
link(124,108) :- #0.898.
link(108,126) :- #0.666.
link(126,108) :- #0.446.
link(108,130) :- #0.559.
link(130,108) :- #0.3.
link(108,135) :- #0.492.
link(135,108) :- #0.966.
link(108,137) :- #0.721.
link(137,108) :- #0.847.
link(109,111) :- #0.873.
link(111,109) :- #0.895.
link(109,119) :- #0.097.
link(119,109) :- #0.003.
link(109,122) :- #0.853.
link(122,109) :- #0.395.
link(109,128) :- #0.993.
link(128,109) :- #0.329.
link(110,121) :- #0.176.
link(121,110) :- #0.884.
link(110,131) :- #0.503.
link(131,110) :- #0.965.
link(110,134) :- #0.417.
link(134,110) :- #0.625.
link(110,140) :- #0.159.
link(140,110) :- #0.558.
link(111,117) :- #0.398.
link(117,111) :- #0.004.
link(111,133) :- #0.832.
link(133,111) :- #0.428.
link(111,139) :- #0.4.
link(139,111) :- #0.374.
link(111,141) :- #0.687.
link(141,111) :- #0.075.
link(112,119) :- #0.635.
link(119,112) :- #0.389.
link(112,137) :- #0.667.
link(137,112) :- #0.185.
link(112,139) :- #0.886.
link(139,112) :- #0.254.
link(112,144) :- #0.383.
link(144,112) :- #0.981.
link(113,114) :- #0.479.
link(114,113) :- #0.149.
link(113,139) :- #0.294.
link(139,113) :- #0.203.
link(113,144) :- #0.815.
link(144,113) :- #0.983.
link(115,119) :- #0.825.
link(119,115) :- #0.477.
link(115,132) :- #0.973.
link(132,115) :- #0.347.
link(115,135) :- #0.623.
link(135,115) :- #0.586.
link(117,131) :- #0.619.
link(131,117) :- #0.94.
link(117,133) :- #0.362.
link(133,117) :- #0.995.
link(117,134) :- #0.042.
link(134,117) :- #0.507.
link(117,138) :- #0.472.
link(138,117) :- #0.15.
link(118,121) :- #0.224.
link(121,118) :- #0.545.
link(118,131) :- #0.456.
link(131,118) :- #0.905.
link(118,137) :- #0.674.
link(137,118) :- #0.141.
link(118,139) :- #0.36.
link(139,118) :- #0.243.
link(119,125) :- #0.455.
link(125,119) :- #0.685.
link(119,126) :- #0.638.
link(126,119) :- #0.102.
link(119,127) :- #0.512.
link(127,119) :- #0.133.
link(119,128) :- #0.576.
link(128,119) :- #0.876.
link(119,137) :- #0.602.
link(137,119) :- #0.541.
link(120,121) :- #0.436.
link(121,120) :- #0.555.
link(120,131) :- #0.838.
link(131,120) :- #0.876.
link(120,140) :- #0.172.
link(140,120) :- #0.656.
link(120,145) :- #0.102.
link(145,120) :- #0.49.
link(122,124) :- #0.446.
link(124,122) :- #0.234.
link(122,132) :- #0.172.
link(132,122) :- #0.955.
link(123,126) :- #0.468.
link(126,123) :- #0.516.
link(123,133) :- #0.78.
link(133,123) :- #0.42.
link(123,135) :- #0.13.
link(135,123) :- #0.728.
link(125,142) :- #0.813.
link(142,125) :- #0.826.
link(125,143) :- #0.814.
link(143,125) :- #0.724.
link(126,127) :- #0.103.
link(127,126) :- #0.715.
link(126,136) :- #0.021.
link(136,126) :- #0.231.
link(126,139) :- #0.717.
link(139,126) :- #0.369.
link(127,142) :- #0.648.
link(142,127) :- #0.198.
link(128,130) :- #0.23.
link(130,128) :- #0.357.
link(129,145) :- #0.76.
link(145,129) :- #0.526.
link(130,135) :- #0.001.
link(135,130) :- #0.424.
link(132,133) :- #0.328.
link(133,132) :- #0.736.
link(132,145) :- #0.444.
link(145,132) :- #0.113.
link(133,138) :- #0.808.
link(138,133) :- #0.056.
link(133,145) :- #0.276.
link(145,133) :- #0.409.
link(134,139) :- #0.833.
link(139,134) :- #0.362.
link(134,143) :- #0.677.
link(143,134) :- #0.485.
link(136,141) :- #0.712.
link(141,136) :- #0.157.
link(137,139) :- #0.7.
link(139,137) :- #0.913.
link(137,141) :- #0.185.
link(141,137) :- #0.617.
link(138,141) :- #0.5.
link(141,138) :- #0.214.
link(139,141) :- #0.531.
link(141,139) :- #0.058.
link(139,144) :- #0.358.
link(144,139) :- #0.712.
link(139,145) :- #0.377.
link(145,139) :- #0.314.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
